1. Formal techniques for networked and distributed systems
المؤلف: / John Derrick, Jeuri Vain (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F67
,
2007
